Formal Description Technique SDL for manufacturing systems
نویسندگان
چکیده
This paper addresses the formal specification and description of manufacturing systems. It is considered the use of SDL (Specification and Description Language), a standard FDT (Formal Description Technique), to model the behaviour, data and structure aspects of a manufacturing system. SDL was originally developed for telecommunication systems (protocol specification and data processing). The adequacy of FDTs, namely SDL, for the manufacturing systems domain is investigated by developing the SDL specification of part of a Distributed/Virtual Manufacturing System cell installation (D/V MS Project), and analysing it.
منابع مشابه
Translating OMT * to SDL , A Smooth Transition from Analysis to
This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Speciication Description Lang...
متن کاملSDL and Petri net performance analysis of communicating systems
The automated functional and performance analysis of communicating systems speciied with some Formal Description Technique has long been the goal of protocol engineers. In this paper we give a description of a Petri net enhanced with queued places which enables one to automatically translate an SDL speciication to a net for its direct functional and performance analysis. In particular, the new ...
متن کاملDeveloping a Framework for Simulation, Veriication and Testing of Sdl Speciications ?
This paper describes a simulator for SDL, a formal description technique for distributed, concurrent, communicating systems. The simulator consists of three main components: the translator, the activator, and the process execution and interleaving mechanism. All components are written in a subset of Common Lisp, and their desired properties are proved in ACL2. The simulator is intended as a bas...
متن کاملTranslating Omt* to Sdl, Coupling Object-oriented Analysis and Design with Formal Description Techniques
This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique and OMT* for for System Design, while SD...
متن کاملSdl* { an Annotated Speciication Language for Engineering Multimedia Communication Systems
The Speciication and Description Language (SDL) and Message Sequence Charts (MSC) are formal description techniques which gain more and more importance in the development and speciication of complex real-time systems, especially in the telecommunications area. SDL is used to describe the structure and the functional behaviour of a system while MSCs are used to describe its dynamic behaviour. No...
متن کامل